A data type for discretized time representation in DEVS

نویسندگان

  • Damián Vicino
  • Olivier Dalle
  • Gabriel A. Wainer
چکیده

This paper addresses the problems related to data types used for time representation in DEVS, a formalism for the specification and simulation of discrete-event systems. When evaluating a DEVS simulation model into an actual computer simulation program, a data type is required to hold the virtual time of the simulation and the time elapsed in the model of the simulated system. We review the commonly data types used, and discuss the problems that each of them induce. In the case of floating point we show how, under certain conditions, the simulation can break causality relations, treat simultaneous events as non simultaneous or treat non simultaneous events as simultaneous. In the case of integers using fixed unit we list a number of problems arising when composing models operating at different timescales. In the case of structures that combine several fields, we show that, at the cost of a lower performance, most of the previous problems can be avoided, although not totally. Finally, we describe an alternative representation data type we developed to cope with the data type problems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Discretized Adjoint State Time and Frequency Domain Full Waveform Inversion: A Comparative Study

This study derives the discretized adjoint states full waveform inversion (FWI) in both time and frequency domains based on the Lagrange multiplier method. To achieve this, we applied adjoint state inversion on the discretized wave equation in both time domain and frequency domain. Besides, in this article, we introduce reliability tests to show that the inversion is performing as it should be ...

متن کامل

Towards an automatic transformation from a DEVS to a SDL specification

SDL is a graphical language, standardized under the Z.100 recommendation, widely used to represent telecommunication systems, process control and real-time applications in general. In this paper we have three objectives, first present an algorithm that allows the transformation of a DEVS specification to an SDL specification. Second we present a XML representation for the SDL language; this XML...

متن کامل

Error bounds in approximating n-time differentiable functions of self-adjoint operators in Hilbert spaces via a Taylor's type expansion

On utilizing the spectral representation of selfadjoint operators in Hilbert spaces, some error bounds in approximating $n$-time differentiable functions of selfadjoint operators in Hilbert Spaces via a Taylor's type expansion are given.

متن کامل

Reachability Graph of Finite & Deterministic DEVS Networks

This paper shows how to generate a finite-vertex graph, called a reachability graph for discrete event system specification (DEVS) network. The reachability graph is isomorphic to a given original DEVS network in terms of behavior but the number of vertices as well as the number of edges of the reachability graph are finite. To obtain the finite-vertex reachability graph of a DEVS network, this...

متن کامل

Towards an SDL-DEVS simulator

Specification and Description Language is a graphical language, standardized under the ITU Z.100 recommendation, widely used to represent telecommunication systems, process control and real-time applications in general. In this paper we present the first prototype that allows executing a XML DEVS representation of a simulation model on a SDL simulator. This execution is based on a transformatio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014